منابع مشابه
Logic for the New Ai
Research in connected speech recognition has shown that an incredible amount of computation is required to identify spoken words. This is because the contemporary approach begins by isolating and classifying phonemes by means of context-free features of the sound stream. Thus the stream must be reduced to acoustic atoms before classification can be accomplished. On the other hand, for people th...
متن کاملDyna: Extending Datalog for Modern AI
Modern statistical AI systems are quite large and complex; this interferes with research, development, and education. We observe that most of the computation involves solving systems of equations of a certain kind. Specifically, recursive queries look up and aggregate relevant or potentially relevant values. If the results of these queries are memoized for reuse, the memos may need to be update...
متن کاملLinear Logic for Domain-Independent AI Planning
Although during the last decade in several papers applicability of Linear Logic (LL) theorem proving to AI planning has been emphasised, there is still no experimental data nor prototype available, which would allow to justify performance of LL planning. In this paper we present results demonstrating that performance of a Linear Logic planner may be comparable to state-ofthe-art domain-independ...
متن کاملImpact of Ontology on Modern AI
In the early 1950’s , during the onset of Modern AI , AI was more focused on designing intelligent systems capable of mimicking human behavior from simple problem solving and having a perception to thinking. However, even if it were possible to design and model such robots or intelligent programs, the problem would remain that robots and programs could not know that problems existed to be solve...
متن کاملNatural Logic in AI and Cognitive Science
This paper presents an ongoing research project called “natural logic” and makes the case that it is relevant to AI, Computational Linguistics, and Cognitive Science. We propose to add some of the natural logic modules which have already been developed to existing NLP systems. We see our approach as complementing and augmenting data-driven approaches exemplified by IBM’s Watson. We give a brief...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2020
ISSN: 2075-2180
DOI: 10.4204/eptcs.326.0.2